windowManager: Get the active workspace index directly

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2540>

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index d415412b1025d3c3bc64fe5367ac8a6538b94cee..4a2fa1e0ca78db55b494813b22a3fcf8e7b377a8 100644 (file)
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1773,7 +1773,7 @@ var WindowManager = class {
             target--;
             newWs = workspaceManager.get_workspace_by_index(target);
 
-            if (workspaceManager.get_active_workspace().index() > target) {
+            if (workspaceManager.get_active_workspace_index() > target) {
                 if (vertical)
                     direction = Meta.MotionDirection.UP;
                 else if (rtl)